PDF Document

Source URL: kaminari.istc.kobe-u.ac.jp

• Constraint programming
• Prolog
• Warren Abstract Machine
• YAP
• Classpath
• Logic programming
• Software engineering
• Computing
• Computer programming